coq目标和基准target: n. 靶子,标的;目标;(嘲笑等的)对象;笑柄 (for ...benchmarks: 标杆; 基准测试程序数值coq: 的有关问题; 辅酶q; 监督员; 经济订货批量的计算; 科克; 来推动质量的改进targets: 目标; 在暗杀名单上benchmarks for science literacy: 科学素养标准; 科学素养的基准下载手机词典可随时随地查词查翻译